[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification posix-links
enrich
   pathset, 
   posix-base
with
   

   
   
   functions  links : fid × directory-tree → pathset;
              . + . : string × pathset → pathset;
   
   
   
   
   

   

   axioms in-plinks :  ⊦ p ∈ links(fid, tree) ↔ p ∈ tree ∧ tree[p] = fnode(fid);
          in-consp :  ⊦ p ∈ str + ps ↔ p ≠ ε ∧ p.head = str ∧ p.tail ∈ ps;
          used for: ls;

   

   
end enrich